-
1 метод доказательства
Большой англо-русский и русско-английский словарь > метод доказательства
-
2 метод логического доказательства
Большой англо-русский и русско-английский словарь > метод логического доказательства
-
3 method of proof
Англо-русский словарь по исследованиям и ноу-хау > method of proof
-
4 validation procedure
метод доказательства
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > validation procedure
-
5 zero-knowledge
метод доказательства владения секретом без раскрытия самого секрета (доказательства без разглашения секретной информации)Англо-русский словарь по компьютерной безопасности > zero-knowledge
-
6 proof method
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proof method
-
7 straightforward procedure
English-Russian dictionary on nuclear energy > straightforward procedure
-
8 tradeoff procedure
English-Russian dictionary on nuclear energy > tradeoff procedure
-
9 uniform test procedure
The English-Russian dictionary general scientific > uniform test procedure
-
10 proof procedure
1) Компьютерная техника: процедура доказательств2) Техника: процедура доказательства3) Математика: метод доказательства4) Макаров: схема доказательства -
11 validation procedure
1) Вычислительная техника: метод доказательства, механизм проверки допустимости, процедура проверки допустимости, процедура проверки достоверности2) Безопасность: процедура апробирования3) Золотодобыча: метод подтверждения данных4) Фармация: валидация метода -
12 method of proof
Большой англо-русский и русско-английский словарь > method of proof
-
13 proof method
Большой англо-русский и русско-английский словарь > proof method
-
14 proof procedure
Большой англо-русский и русско-английский словарь > proof procedure
-
15 proof technique
Большой англо-русский и русско-английский словарь > proof technique
-
16 validation
ˌvælɪˈdeɪʃən сущ.
1) ратификация, утверждение Syn: ratification
2) легализация;
придание законной силы преим. (юридическое) утверждение;
ратификация придание законной силы;
легализация подтверждение (информации) - * procedure метод доказательства algorithmic ~ вчт. проверка алгоритма cross ~ вчт. перекрестная проверка data ~ вчт. подтверждение правильности данных data ~ вчт. проверка данных data ~ вчт. проверка достоверности данных program ~ вчт. аттестация программы technical ~ техническая пригодность test ~ проверка эффективности теста validation легализация;
придание законной силы ~ легализация ~ объявление действительным ~ придание законной силы ~ придание юридической силы ~ признание выборки беспристрастной ~ признание юридической силы;
придание юридической силы;
объявление действительным;
утверждение;
ратификация ~ признание юридической силы ~ вчт. проверка ~ ратификация ~ утверждение, ратификация ~ утверждениеБольшой англо-русский и русско-английский словарь > validation
-
17 validation
[͵vælıʹdeıʃ(ə)n] n преим. юр.1. утверждение; ратификация2. придание законной силы; легализация3. подтверждение ( информации) -
18 method of proof
Математика: метод доказательства -
19 proof method
Математика: метод доказательства -
20 proof technique
Математика: метод доказательства
См. также в других словарях:
метод доказательства — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN validation procedure … Справочник технического переводчика
Метод бесконечного спуска — В математике, метод бесконечного спуска это метод доказательства от противного, основанный на том, что множество натуральных чисел вполне упорядочено. Часто метод бесконечного спуска используется для доказательства того, что у некоторого… … Википедия
Метод индукции — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… … Википедия
Метод Хартри — Фока — в квантовой механике приближённый метод решения уравнения Шредингера путём сведения многочастичной задачи к одночастичной в предположении, что каждая частица двигается в некотором усреднённом самосогласованном поле, создаваемом всеми остальными… … Википедия
Метод Эйлера — Метод Эйлера наиболее простой численный метод решения (систем) обыкновенных дифференциальных уравнений. Впервые описан Леонардом Эйлером в 1768 году в работе «Интегральное исчисление»[1]. Метод Эйлера является явным, одношаговым методом… … Википедия
Метод исчерпывания — (лат. methodus exaustionibus) античный метод для исследования площади или объёма криволинейных фигур. Идею метода, в не очень ясных выражениях, высказал ещё Антифон, однако разработку и применение осуществил Евдокс Книдский. Обоснование… … Википедия
Метод квадратичных форм Шенкса — метод факторизации целых чисел, основанный на применении квадратичных форм, разработанный Даниелем Шенксом (англ. Daniel Shanks).[1] в 1975 году, как развитие метода факторизации Ферма. Для 32 разрядных компьютерах алгоритмы, основанные на… … Википедия
Метод обратного распространения ошибки — (англ. backpropagation) метод обучения многослойного перцептрона. Впервые метод был описан в 1974 г. А.И. Галушкиным[1], а также независимо и одновременно Полом Дж. Вербосом[2]. Далее существенно развит в 1986 г. Дэвидом И. Румельхартом, Дж … Википедия
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
Доказательства уголовные — Под уголовными Д. подразумеваются те фактические данные, которые служат основанием к заключению о том, совершено ли преступление и виновно ли в нем данное лицо. Всякая эпоха имеет свой метод обнаружения на уголовном суде материальной истины, свою … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… … Философская энциклопедия